The title of this and proposed second volume presents the basic idea which unifies the wide variety of topics developed and investigated by the principal authors, major contributing authors, J. M. Dunn and Robert K. Meyer, and eleven other contributors. The other contributors are: J. R. Chidgey, J. A. Coffa, Dorthy L. Grover, Bas van Fraassen, H. Leblanc, Storrs McCall, A. Parks, G. Pottinger, R. Routley, A. Urquhart, and R. G. Wolf. From both the useful analytic table of contents and (...) from the section titles it is clear which contributing author has written each section. Chapter I, "The Pure Calculus of Entailment," suggests how logics of entailment are logics of relevance and necessity. When we explain why a large number of systems are investigated, it will be clear why we write of logics of entailment instead of the logic of entailment. The principal authors build a case in Chapter I, and elsewhere, that a genuinely valid formal inference, viz., a formal entailment, from a formula A to a formula B requires that A be relevant to B in addition to it being impossible that there be an interpretation making A true and B false. So, a claim that A entails B tells us, explicitly or implicitly, that A is relevant to B and that "if A then B" is necessarily true, i.e., A strictly implies B. Consequently since a logic of entailment presents allegedly unfalsifiable claims, i.e., theses, using entailment claims, a logic of entailment presents theses about relevance between antecedents and consequents and necessity. It should be noted that the systems of logic developed are for formal entailments; they may not be logics for material entailments such as: being a cube entails having six surfaces. (shrink)

The subtitle of this text intended for philosophy students’ 2nd course in logic is in no way misleading. It is a lucid introduction to the philosophic activities of uncovering metaphysical presuppositions of logical techniques and altering logical techniques, and hence assessments of deductive validity, to conform to metaphysical presuppositions. They do not, though, assume that techniques for assessing deductive validity are or should be wholly dependent upon metaphysical presuppositions. They write on p. 213 in their section on intensional discourse: "And (...) logic wherever possible ought not to wait upon philosophy, for logic wherever possible ought to be neutral between different philosophical analyses." In their investigations of metaphysical presuppositions and logical techniques, they consider primarily the consequences of existential presuppositions about the use of singular terms, viz., individual variables, individual names, and definite descriptions. They favor freeing use of singular terms from existential presuppositions. The consideration of allowing non-referring names and definite descriptions makes their text one of the first, if not the first, for teaching Free Logic. The gist of Free Logic is not to allow existential generalization of Fb to unless there is an auxiliary premise asserting the existence of b, because use of the name b has been freed from the presupposition that it names something. It is suitable that these authors have a text on Free Logic since Lambert is the major figure in its origin while van Fraassen has established some of the most significant results about Free Logic systems. They go on to consider alternative logical rules to those of Russell for dealing with nonreferring definite descriptions. These alternatives to standard logic are philosophically motivated. They are not simply dumped upon students as rules for symbol manipulation. For instance, on pp. 152-157 they give a succinct analysis of the Russell-Meinong debate when they agree with Meinong that one can talk of the thing that is such and such without accepting that there is such a thing. The treatment of singular terms leads them to discussions of topics such as: What is it for a logic to be extensional and is Free Logic extensional?, the substitution interpretation of quantifiers, and the notion of presupposition. (shrink)

This technical and sophisticated book has a misleading title. In only 140 pages it has chapters entitled: Truth Functions, Sentence Logic, Model Theory, Predicate Logic, Recursive Functions, Formalized Arithmetic, Free-Variable Arithmetic, and Axiomatic Set Theory. Goodstein says little about, let alone studies, the historical development of any of these topics. The history consists of a few references to some of the individuals who have played a role in the development of the field; but not always to the major figures. For (...) instance, his chapter on model theory contains no discussion of the development of classical model theory. Only Herbrand is noted as a developer of model theory. However, even if these eight studies in mathematical logic do not tell much about the development of the topics, they still have considerable value. The first chapter on truth functions and the seventh on free-variable arithmetic are the most intriguing because they contain more of what is not usually presented in logic books. The first two chapters on sentential logic are not the standard textbook treatment. This really is a book for other working logicians and mathematicians. Quickly, Goodstein moves into treating truth functions for any number of truth values as functions in modulo arithmetic and investigates the topic of finding Sheffer functions, viz., a function from which all others for a given number of truth values can be obtained. In the second chapter, he is soon presenting Intuitionistic sentential logic and has some remarks about sentential logics between Intuitionistic logic and classical logic. He also presents sequent calculi. Since the first two chapters contain only 36 pages, this suggests that the book would be suitable as a text only for advanced and sophisticated students. (shrink)

Professor Fitch carefully guides the reader through the first and second chapters demonstrating how theorems of a sentential logic are truths about so-called Q-functions. These Q-functions are given by presenting symbols for twelve basic functions, specifying that finite combinations of these basic symbols give Q-functions, and by giving rules for the introduction of basic symbols into, and the elimination of basic symbols from, combinations of these symbols. The combinators are the basic symbols which are not symbols for "and," "or," "not," (...) and "equals." Truths about Q-functions are the basic and derived introduction and elimination rules. To familiarize readers with introduction and elimination rules, he devotes an introductory chapter to a review of his method of subordinate proof which is used throughout the book. This review is also valuable for stressing the differences between his sentential logic and classical logic on one hand and intuitionistic logic on the other. Rejecting the law of excluded middle he nevertheless maintains double negation. (shrink)

Martin presents fifteen previously unpublished essays which he wrote before 1973. Despite several references to his earlier books such as Truth and Denotation, these essays will be intelligible to those who have not yet read anything by R. M. Martin as long as you can master long formulations in the notation of a formal first-order language. Indeed, these essays can serve as an introduction to the work of Martin. The first three essays present Martin's metaphysical system. Essays 4, 5, and (...) 6 amplify his system by showing how a wide variety of sentences can have their logical form represented in the formal language which displays Martin's ontology. In the remaining nine essays he critically evaluates positions of other philosophers such as Hiz, Carnap, Quine, Fitch, Chisholm, Popper, Sellars, Heyting, Lorenzen, and Putnam, from the perspective of his system. Because his systematic approach unifies all of the papers and because he uses technical terms in the development of his system, it is regrettable that the book offers no index. (shrink)

This anthology consists of forty-nine of Geach’s previously published papers on logic. He opens his Preface by writing: "I bring together here almost all my English articles that I have previously published and have not already collected or cannibalized in other books." It contains his first published paper "Designation and Truth" from Analysis 1947-48 as well as his elegant sketch of a decidable entailment system in the 1970 Philosophical Review. For the most part he has made only stylistic changes and (...) added some notes. So, he claims: "all articles appear without substantial change." However, he admits that he divided his "Quantification Theory and the Problem of Identifying Objects of Reference" from the now classic 1963 volume of Acta Philosophica Fennica. He divided it because he wanted to separate his strong advocacy of a substitution interpretation of the quantifiers from some views on quotation marks, about which he is less than certain. The papers are not in mere chronological order. They are organized by topic within chapters entitled: Historical Essays, Traditional Logic, Theory of Reference and Syntax, Intentionality, Quotation and Semantics, Set Theory, Identity Theory, Assertion, Imperatives and Practical Reasoning, and Logic in Metaphysics and Theology. The chapter titles are a fair guide to content. But note the following. Two lucid papers defending von Wright’s notion of entailment are in the Intentionality chapter. The essay "Ascriptivism" in the Assertion chapter is relevant to discussions of free will because he argues: "to ascribe an act to agent is a causal description of the act" and he urges a search for a non-Humean analysis of causality. The essays in the last chapter are: "Nominalism," "Some problems about time," and "God’s relation to the world.". (shrink)

This ninth volume in the Library of Exact Philosophy series is a development of the author’s 1971 McGill University dissertation written under the guidance of Mario Bunge. The thesis of the book is that the objectivity of mathematics does not require that there be any mathematical objects. The objectivity of mathematics is the widespread agreement among working mathematicians on what is provable, i.e., on what entailments hold between mathematical constructs. Castonguay gives precise definitions of several terms; but, unfortunately, "construct" is (...) not one of them. He has set himself the task of arguing that we can account for community recognition and acceptance of proofs without assuming that working mathematicians have had to inspect some special mathematical objects to verify that things are in the mathematical realm as they are said to be in the proved propositions. He does concede that many mathematicians, for heuristic reasons, may need to speak as if there were a mind-independent mathematical realm. (shrink)

In his Introduction, Hochberg writes: "Since this book is an attempt to resolve some problems about thought, truth, and reference within the tradition of Logical Atomism, readers of Bergmann and Sellars will find, not surprisingly, familiar themes." He continues a bit later: "What is attempted is the resolution of some issues that preoccupied Russell, Wittgenstein, Moore and their successors, as well as an explication of some links between Logical Atomism and Moore's early assault on idealism. The book is thus a (...) partial study of the ontology and the history of Logical Atomism." Hochberg accomplishes what he attempts. Note that he did not promise an introduction to the ontology and history of Logical Atomism. The book is intended for people who have read early Moore, Russell, Wittgenstein, are familiar with some Fregean themes, who have read some secondary literature on Logical Atomism such as Urmson's or Pear's books, and who have read some of G. Bergmann's developments of Logical Atomism. Because the metaphysical analyses of several contemporary philosophers such as Quine, W. Sellars, D. Davidson, and D. Kaplan are criticized, familiarity with such writers, especially Quine, would be very helpful. Nevertheless, although the themes are familiar ones such as: realism vs. phenomenalism; realism vs. nominalism; theories of definite descriptions; coping with Bradley's regress; analyses of objects; analyses of thoughts; and although no sophisticated logic is needed to handle his formalizations, Hochberg demands almost too much concentration from even his intended readers. It is easy to get lost in the numerous alternative analyses and theories Hochberg considers. He seems unable to resist temptations to explore alternative analyses suggested to him by the one he is considering. Consequently, it is difficult to determine what are the analyses actually held by philosophers discussed, what are Hochberg's own analyses and theories, and what are serious alternatives. Because so many subtle and complicated alternatives are juggled it is difficult to uncover the main premisses of Hochberg's arguments for his resolutions. The combined insights and discipline of a seminar or reading group would be helpful in the effort to recognize the main themes and to stay with the work. (shrink)

Despite its brevity, McArthur’s monograph offers a helpful introduction to tense logic to readers who have already been introduced to the syntactical and semantical metatheory of classical logic. Familiarity with substitutional quantification, free-logic, and modal logic will help readers appreciate techniques used and the directions in which topics are developed.

These sixteen essays were written in honor of Frederick B. Fitch. Each part of the volume treats an area of the logical enterprise which had special interest for Fitch. The four parts are entitled, respectively, "Metaphysics and Language," "Basic and Combinatorial Logic," "Implication and Consistency," and "Deontic, Epistemic, and Erotetic Logic.".

This profound metaphysical treatise is carefully and subtly argued. It merits the author recognition as one of the major contemporary philosophers in the United States. Plantinga begins by distinguishing logical necessity from causal necessity, what we will not give up, what is self-evident, and what we can know a priori. In the first chapter he also reviews why classical and contemporary philosophers have distinguished between saying that it is necessary that a proposition is true and saying of an object that (...) it is necessarily such and such. The second and third chapters are primarily a defense of the distinction between de dicto and de re necessity, despite the fact that he shows, to those who claim only to understand de dicto necessity, how assertions of de re necessity can be read as assertions of de dicto necessity. Plantinga mischievously observes in passing that assertions of de dicto necessity can be interpreted as de re assertions of a proposition that it is necessarily true. He defends the legitimacy of asserting necessity de re so that he can say of objects that they have properties essentially. (shrink)

ZusammenfassungMit den Fortschritten im Bereich der psychiatrisch-genetischen Forschung gehen auch intensive Diskussionen bezüglich der daraus erwachsenden Implikationen einher. Hoffnungen wie Befürchtungen gegenüber der neuen Technologie und deren Folgen werden gleichermaßen zum Ausdruck gebracht. Über die Einstellung der Bevölkerung und insbesondere der Patienten mit affektiven oder schizophrenen Erkrankungen und ihrer Angehörigen in Deutschland war bisher allerdings wenig bekannt. Daher führten wir im Rahmen des Deutschen Humangenomprojektes erstmals eine Studie durch, um die Einstellungen und ihre beeinflussenden Faktoren zu erfassen. Wir entwickelten einen (...) Fragebogen zur Erfassung der Erwartungen, Hoffnungen und Befürchtungen sowie der die Einstellung beeinflussenden Faktoren. Hiermit wurde eine repräsentative Stichprobe von 3077 Personen aus der Allgemeinbevölkerung am Telefon befragt. Weiterhin wurden mit 316 Patienten und 163 Angehörigen persönliche standardisierte Interviews anhand des Fragebogens durchgeführt. Die Mehrzahl der Befragten hatte eine positive Einstellung zu psychiatrisch-genetischer Forschung, äußerte jedoch gleichzeitig ethische Bedenken. Übereinstimmend waren die Befragten der Ansicht, dass Informationen aus genetischen Untersuchungen vertraulich behandelt werden sollten. Kleine, aber signifikante Unterschiede zwischen den Gruppen zeigten sich bezüglich der Einstellung zu präsymptomatischer genetischer Diagnostik. Unsere Ergebnisse weisen auf eine Ambivalenz der Befragten gegenüber der psychiatrisch-genetischen Forschung und Untersuchung hin: Neben einer überwiegend positiven Einstellung wurden auch moralische Bedenken geäußert. (shrink)

Yoga is believed to have beneficial effects on cognition, attenuation of emotional intensity and stress reduction. Previous studies were mainly performed on eastern experienced practitioners or unhealthy subjects undergoing concomitant conventional therapies. Further investigation is needed on the effects of yoga per se, as well as its possible preventive benefits on healthy subjects. We investigated the effects of yoga on memory and psychophysiological parameters related to stress, comparing yoga practice and conventional physical exercises in healthy men . Memory tests, salivary (...) cortisol levels and stress, anxiety, and depression inventories were assessed before and after 6 months of practice. Yoga practitioners showed improvement of the memory performance, as well as improvements in psychophysiological parameters. The present results suggest that regular yoga practice can improve aspects of cognition and quality of life for healthy individuals. An indirect influence of emotional state on cognitive improvement promoted by yoga practice can be proposed. (shrink)

The sporadic nature of Alzheimer's disease argues for an environmental link that may drive AD pathogenesis; however, the triggering factors and the period of their action are unknown. Recent studies in rodents have shown that exposure to lead during brain development predetermined the expression and regulation of the amyloid precursor protein and its amyloidogenic beta-amyloid product in old age. Here, we report that the expression of AD-related genes [APP, BACE1 ] as well as their transcriptional regulator were elevated in aged (...) monkeys exposed to Pb as infants. Furthermore, developmental exposure to Pb altered the levels, characteristics, and intracellular distribution of Abeta staining and amyloid plaques in the frontal association cortex. These latent effects were accompanied by a decrease in DNA methyltransferase activity and higher levels of oxidative damage to DNA, indicating that epigenetic imprinting in early life influenced the expression of AD-related genes and promoted DNA damage and pathogenesis. These data suggest that AD pathogenesis is influenced by early life exposures and argue for both an environmental trigger and a developmental origin of AD. (shrink)

The importance of the Low Countries as a centre for the study of foreign languages is well-known. The mutual relationship between the Dutch grammatical tradition and the Western European context has, however, been largely neglected. In this collection of papers on the history of linguistics in the Low Countries the editors have made an effort to present the Dutch tradition in connection with that of the neighbouring countries. Three articles by Claes, Dibbets and Klifman deal with the earliest stages of (...) the development of a grammar for the Dutch vernacular. Several important European figures worked in the Low Countries; their contribution to linguistics is discussed in articles on Vossius (Rademaker), Spinoza (Klijnsmit), and one of the most original phoneticians of European linguistics, Montanus (Hulsker). Vivian Salmon's article is a survey on the relations between English and Dutch linguistics in the field of foreign language teaching. In the 19th century Dutch linguistics had a special relationship with German general and historical linguistics; four articles deal with this period (Jongeneelen, van Driel, le Loux-Schuringa, Noordegraaf). Finally, there are three articles by Kaldewij, Hagen and van Els/Knops on the development of three branches of linguistics in the 20th century: structuralism, dialectology and applied linguistics. This volume should be of interest for all specialists in the history of linguistics in Europe, who are interested in the interdependence of the various traditions. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)